Generality of proofs and its Brauerian representation
نویسندگان
چکیده
منابع مشابه
Generality of proofs and its Brauerian representation
The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the deriv...
متن کاملA Brauerian representation of split preorders
Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations, where composition is ...
متن کاملIdentity of proofs based on normalization and generality
Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to normal form in natural deduction. Lambek worked on a normalization proposal analogous to Prawitz's, based on reduction to cut-free form in sequent systems, but he also suggested understanding identity...
متن کاملthe study of practical and theoretical foundation of credit risk and its coverage
پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...
15 صفحه اولpetrology and geochemistry of khar-bash (western shahrood) and its relation ship to iron mineralization
منطقه مورد مطالعه در 23 کیلومتری جنوب غرب شهرستاشاهرود قرار دارد که در نقشه 100000/1 شاهرود قرار گرفته است.ناحیه مورد مطالعه در تقسیمات ساختاری ایران بخشی از زون البرز شرقی است . در طی سنوزوئیک این زون به شدت تحت تأثیر فازهای کوهزایی آلپی قرار گرفته و فعالیت های آتشفشانی انوسن در قسمت های غربی آن دیده می شود . از نظر ترکیب سنگ شناسی منطقه مورد مطالعه متنوع و بیشتر شامل سنگ های رسوبی مانند : آ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2003
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1058448435